Nuprl Definition : nil def 12,41
[] is Primitive 
latex

origin